Published in: OASIcs, Volume 105, 4th International Workshop on Formal Methods for Blockchains (FMBC 2022)
Chad E. Brown, Cezary Kaliszyk, Thibault Gauthier, and Josef Urban. Proofgold: Blockchain for Formal Methods. In 4th International Workshop on Formal Methods for Blockchains (FMBC 2022). Open Access Series in Informatics (OASIcs), Volume 105, pp. 4:1-4:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{brown_et_al:OASIcs.FMBC.2022.4, author = {Brown, Chad E. and Kaliszyk, Cezary and Gauthier, Thibault and Urban, Josef}, title = {{Proofgold: Blockchain for Formal Methods}}, booktitle = {4th International Workshop on Formal Methods for Blockchains (FMBC 2022)}, pages = {4:1--4:15}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-250-1}, ISSN = {2190-6807}, year = {2022}, volume = {105}, editor = {Dargaye, Zaynah and Schneidewind, Clara}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2022.4}, URN = {urn:nbn:de:0030-drops-171851}, doi = {10.4230/OASIcs.FMBC.2022.4}, annote = {Keywords: Formal logic, Blockchain, Proofgold} }
Feedback for Dagstuhl Publishing